Theorem Proving in Higher Order : 13th International Conference, Tphols 2000, Portland, Or, USA, August 14-18, 2000 : Proceedings
ISBN: 9783540446590
Information Available:
Summary
Cover Image
Copyright held by Baker & Taylor.